(texinfodir): Rename from usermanualdir, and update.
authorGlenn Morris <rgm@gnu.org>
Thu, 9 Jul 2009 03:07:16 +0000 (03:07 +0000)
committerGlenn Morris <rgm@gnu.org>
Thu, 9 Jul 2009 03:07:16 +0000 (03:07 +0000)
commit75d5aa6b21304bba4f586dfe979cf480b4e0de83
treec5ae5b87154d05286be819daec2bb1c5557e07fb
parent5401d96f035edeea8cfd9cb8b2826caed049a081
(texinfodir): Rename from usermanualdir, and update.
(clean): Add two-volume.make intermediate files.
doc/lispref/Makefile.in